1. Hybrid Logic and its Proof-Theory
المؤلف: / by Torben Braeuner
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
2. Hybrid logic and its proof-theory
المؤلف: / by Torben Braeuner
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
B736
,
2011